constructive ordinal numbers

[数] 可构造序数